在第一种情况下，我们称这命题为重言式，在第二种情况下，称这命题为矛盾式。
In the first case we call the proposition a tautology; in the second, a contradiction.
人们通常认为，闭合论是重言式。
命题显示它们所说的东西，重言式和矛盾式则显示它们什么也役有说。
Propositions show what they say; tautologies and contradictions show that they say nothing.
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
本文首次对泛逻辑的广义重言式理论进行研究。
Generalized tautologies theories of universal logic are studied for the first time.
应用推荐